1114_kurt_b_77481114_kurt_b_7748
proofs