theorem :: XPRIMES2:6740

canceled;