Um sicher zu sein, dass Ausprobieren schneller geht, als das Führen eines mathematischen Beweises, müsste man den Beweis kennen und wissen, wie lange die Niederschrift dauert. Wenn man ihn erst finden müsste, wäre Ausprobieren vielleicht schneller. Du hast dich vermutlich für Ausprobieren entschieden, weil du einen Beweis erst noch finden müsstest.