@johan ты только сделал, теорема доказана))
@kto