theorem :: XPRIMES1:1512

canceled;