Joidenkin intuitioiden todistaminen kestää joskus 10 vuotta.