File:When proof is succ.PNG

yas