Tippfehler-Ergebnisse für 1971 in Proof/Prooflike Sets