theorem :: XPRIMES2:717

canceled;