Jos ymmärrän sinua oikein, en näe vastausta kysymykseesi. Mitä tarkoittaa johdannainen, paitsi että se edellyttää antiderivaatan olemassaoloa? Se on ainoa mielekäs tulkinta kysymyksestänne, jota voin harkita. Jos hyväksyt sen, kaikki todisteet vaatisivat antiderivaatan rakentamista, ja keskiarvoteorema varmistaisi, että se on periaatteessa tavallinen F FTOC:ssa.