theorem :: XPRIMES1:27

canceled;