There aren't really any complicated arguments being made, so I don't think a proof would be that involved.