theorem :: XPRIMES2:1422

canceled;