theorem :: XPRIMES2:2124

canceled;