proof by indication view 1