theorem :: XPRIMES2:715

canceled;