Problem 7. (1 point) Given a, b, c in the domain of all positive integers, in a proof to the theorem a + b' + 3 2 ab + b2c + ca, we may assume without loss of generality that: A. a zc,czb OB. a > c, b z c c. a> b, a 2 c D. a 2 b, b 2c