den , sorn säde , att teorem är något , sorn skall bevisas , och ett problem något , sorn skall bevisas , örn man kan.