theorem :: XPRIMES2:6254

canceled;