theorem :: XPRIMES1:970

canceled;