Математика не дедуктивная наука - это клиш. Когда вы пытаетесь доказать теорему, вы не просто перечисляете гипотезы, а затем начинаете рассуждать. То, что вы делаете, это пробная и ошибка, эксперименты, догадки.