Comment by ah-

Sometimes verification is much easier than calculation.