\fA. Show that the congruence axiom [C1] holds in the Taxicab model on R2. B. Show that the congruence axiom [C2] holds in the Taxicab model on R2. C. Show that the congruence axiom [C3] holds in the Taxicab model on R2. D. Show that the congruence axiom [C6] fails in the Taxicab model on R2 by giving a counter-example. (Remember this is an example where the axiom doesn't work.) E. Go back and rework parts [Al-(D) for the Taxicab model on 22 (Remember this is the same model as above EXCEPT everywhere you used to have a real number you now must have an integer.) Do you still get the same results as before? Why or why not