結果 : indicator function properties proof