Proč se vše tak složitě dokazuje