RE: Query relating to Fermat's Last Theorem