thue constant