Beweiskette

Beweiskette f =, -n

ряд доказательств