Hans bevis är lika korrekt somuttömmande