[Alemateorema] Garigari 23 (Polish) 9 / 16