Fermat's Last Theorem solution in detail