proof by indication view 3