Dan f(x)[g(x]h(x)] = ( + + ⋯ + ⋯ )
0
1
[( + + ⋯ + ⋯ )( + + ⋯ + ⋯ )
1
0
0
1
= ( + + ⋯ + + ⋯ )( + + ⋯ + + ⋯ )
0
1
0
Dengan = σ + =
, ∈
= + + ⋯ + + ⋯
0
1
Dengan = + + ⋯ + + ⋯ σ + =
1
0
σ
= σ = + =
= σ + + =
, ∈
Sehingga =
ሶ . . Terbukti [f(x)g(x)]h(x) = f(x)[g(x)h(x)]