[Alemateorema] Garigari 23 (Polish) 4 / 16