[Alemateorema] Garigari 23 (Polish) 3 / 16