theorem :: XPRIMES2:1131

canceled;