theorem :: XPRIMES2:2424

canceled;