Proč děláme důkazy v matematice - Čech, Vlastimil (rz1, 1971)