added a proof