theorem :: XPRIMES2:7140

canceled;