Honest question, what is the usefulness of proving such an obvious thing?