theorem :: XPRIMES1:1715

canceled;