theorem :: XPRIMES2:6790

canceled;