Twierdzenie
$SXT