theorem :: XPRIMES2:1231

canceled;