theorem :: XPRIMES2:1124

canceled;