Yes, I understand that the proof is not complete; I omitted the quantifiers for the sake of brevity. My question was intended to be more in line of 'Is my reasoning correct?' than 'Is the proof a complete, rigorous proof?', i.e. is all I have to do from that point on is add the correct...