r Satz
theorem

1/3