theorem :: XPRIMES2:711

canceled;