theorem :: XPRIMES1:12

canceled;