theorem :: XPRIMES2:6070

canceled;