theorem :: XPRIMES2:2231

canceled;