theorem :: XPRIMES2:789

canceled;