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