Wallpaper 2e proof example