theorem :: XPRIMES1:755

canceled;