Date: Jan 2, 2013 7:49 PM
Author: Brian Q. Hutchings
Subject: Re: From Fermat little theorem to Fermat Last Theorem

I found a proof in one of the AMS journals,
that used the little theorem six or seven times!