theorem :: XPRIMES2:1640

canceled;