matematikern under fund med oell lät honom sätta in andra bokstäfver i beviset.