Tak, a potem mogę mówić o tym, jak przekształcić je w twierdzenia.