theorem :: XPRIMES2:6860

canceled;