Å leggje fram det endelege beviset var ei krevjande øving som sir Andrew J. Miles brukte sju år av sitt liv på å løyse, og endå eit utmattande ekstraår for å rette opp ein abstrakt feil i manuskriptet.