theorem :: XPRIMES2:714

canceled;