theorem :: XPRIMES2:2704

canceled;