[STATEMENT]
lemma arith_prog_Suc_0_right [simp]: "arith_prog a (Suc 0) = UNIV"
[PROOF STATE]
proof (prove)
goal (1 subgoal):
 1. arith_prog a (Suc 0) = UNIV
[PROOF STEP]
by (auto simp: arith_prog_def)