proof by vuorilehto