First proof
Second proof