Понимание доказательства как мыслительного процесса: примеры и теории