theorem :: XPRIMES1:756

canceled;