mogę teraz udowodnić, że warto obliczać dowody @boundless
932