{"messageId": "8341", "unrefinedText": "Fur mats last the or em states no three positive in tee jers satisfy equa shun x^n + y^n = z^n for n > 2."}
{"messageId": "8341", "refinedText": "Fermat's Last Theorem states no three positive integers satisfy equation x^n + y^n = z^n for n > 2."}