мысалы суретіндегі келтірілген дәлелдеу сәтті орындалады себебі константасы таңдалған бірақ басқа терминдерде дәлелдеу мүмкін емес сәйкес