HOL.Alethe_Arith_Rewrites_Lemmas