theorem :: XPRIMES2:2241

canceled;