theorem :: XPRIMES2:2326

canceled;