theorem :: XPRIMES2:1789

canceled;