theorem :: XPRIMES2:6789

canceled;