Kelley

proof 1
proof 1 revised
proof 2
proof 3
proof 4