theorem :: XPRIMES2:6724

canceled;