subtle proof