Move proof sketch after last slide