  We analyze a system of linear algebraic equations whose solutions lead to a
proof of a generalization of Boole's formula. In particular, our approach
provides an elementary and short alternative to Katsuura's proof of this
generalization.
