theorem :: XPRIMES2:1325

canceled;