theorem :: XPRIMES2:7074

canceled;