(a ∨ b ∨ c) (ab ∧ bc ∧ ca) = |abc|