As of 2003 , these are the only known Fermat primes .
As of 2009 these are the only known Fermat primes .