theorem :: XPRIMES1:2756

canceled;