[Alemateorema] Garigari 23 (Polish) 11 / 16