theorem :: XPRIMES1:2673

canceled;