theorem :: XPRIMES2:863

canceled;