fermat's theorem proof