Just a proof