Sometimes verification is much easier than calculation.