theorem :: XPRIMES2:1009

canceled;