Learn Polish: twierdzenie - claim