theorem :: XPRIMES2:706

canceled;