ClemensHartman proofsMedeyinlo proofsVanderHorst proofsBarnett proofsJonesKutnar proofsReilly proofsClemons proofsRiser proofs