Talk:Euler's Totient Theorem

Do we really need to state that it is a generalization of FLT? --Chess64 13:49, 19 June 2006 (EDT)