Well that's precisely the point, if you pick your axioms/theorems/lemma's right you get to skip a lot of steps and only calculate a particular end result instea

Well that's precisely the point, if you pick your axioms/theorems/lemma's right you get to skip a lot of steps and only calculate a particular end result instead of every turtle along the way.