subproof_success.png 7.4 KB