theorem :: XPRIMES2:6241

canceled;