theorem :: XPRIMES2:1007

canceled;