I find proofs like this weird.
I can never quite understand what it means to say anything beyond:
"whichever of {a,b,c} is the smallest is the answer to both sides".
Who is this audience for which all this extra ink carries extra meaning? What additional insight can you have possibly communicated to them?