räknas , och han har bewisat detmed