There's only of the order of a billion values to check. It's known to be true for all those values.