theorem :: XPRIMES2:5297

canceled;