weak induction

Мат. слабая индукция