Теоремы и задачи, требующие доказательства: задачи для ума