結果 : flow proof example geometry