theorem :: XPRIMES1:60

canceled;