theorem :: XPRIMES2:608

canceled;