Kelley proofs

proof 1
prooff 2
proof 3
proof 4