theorem :: XPRIMES2:241

canceled;