An algebraic proof can be obtained using indicator functions (characteristic functions of subsets of a set).
Алгебарски доказ може се добити помоћу функције индикатора (карактеристичне функције подскупова скупа).