Proof & estimate

Loading your proof…