sketchy proof