  We give mathematical proofs to a number of statements which appeared in the
series of papers by Kleban, Simmons and Ziff where they computed the
probabilities of several percolation crossing events.
