theorem :: XPRIMES2:969

canceled;