arith-postinc.right 21 B

12345
  1. 1 1
  2. 1 1
  3. 1 1
  4. 1 1
  5. Ok:0