Marty's 1950 proofs