I agree with this statement (depending on how you interpret "change": if the world was different we may have been lead to prove different theorems), and nothing I've said previously contradicts it.