We have no credible proof that Karl the Great existed or that the middle ages weren't basically made up to cover a 300 year jump in calendar systems but sure, we can be sure of this discovery about this detail thousands of years ago.
Obviously. Must be true.