Критерии существования нетривиальных решений: Обзор теории