theorem :: XPRIMES1:6

canceled;