theorem :: XPRIMES2:5254

canceled;