theorem :: XPRIMES1:2612

canceled;