theorem :: XPRIMES2:1715

canceled;