A
Věta A
B
Věta B
C
Věta C
D
Věta D
F
Věta ccc
X
Věta X
Y
Věta Y