Franzon Proofs