theorem :: XPRIMES2:850

canceled;