Proofs (not) from The Book
scientific article; zbMATH DE number 6381165
scientific article