theorem Fermat3: :: NUMBER18:34

3 is fermat Prime