Magari eafkuor aveva realmente bisogno di quel risultato, per scopi che tu non conosci, che a lui possono essere utilissimi. Magari voleva confrontare la sua dimostrazione con un'altra. Ne ha tutto il diritto e non fa niente di male.
Per quanto riguarda l'intuito, io spero che nessuno creda che ci si possa affidare soltanto all'intuito. Comprendo, comunque, le persone che a volte lo preferiscono al formalismo (e lo dice un formalista convinto).