theorem :: XPRIMES2:1128

canceled;