No matter how beautiful the theory, one irritating fact can dismiss the entire formulism, so it has to be proven.