proof by copius example