Методы доказательства математических определений: примеры и объяснения