theorem :: XPRIMES1:16

canceled;