It is also a concise statement that is trivial to verify.
(by "trivial" meaning much much easier to verify than to discover in the first place)