Sedan genom söretagna prof bewisats,