theorem :: XPRIMES2:7060

canceled;