[Alemateorema] Garigari 23 (Polish) 8 / 16