Maybe it's obvious, but I think the observation resembles an NP-complete problem: it's easy to verify that it is true, but finding it is difficult.