>>8471184why do freshmen keep spouting this meme? there's no use in deriving the chain rule each time you need to use it. there's no use rederiving the fundamental theorems of calculus each time you need to use them. there's no use in rederiving the intermediate value theorem, mean value theorem, extreme value theorem, intervals being compact, or continuous space filling curves existing each time you need to use these facts.