3 is fermat by PEPIN:50;
hence 3 is fermat Prime by XPRIMES1:3; :: thesis: verum