The above commenter has the same allegory- most “users” of math don’t care about the body of work behind it; only the consequence of it being proved is the fact that matters.