Simplify proof of S1_rectnd_beta_loop using apD_const