write a two column proof given: m
prove: m< ABR + m
prove: m< ABR + m