結果 : iff math proof