Finally have a proof^^