theorem :: XPRIMES2:2679

canceled;