theorem :: XPRIMES1:1205

canceled;