 It is not true that merely having formula_2 contained in formula_1 is sufficient for integrability.There is a problem caused by singular solutions.The theorem computes certain constants that must satisfy an inequality in order that there be a solution.