problems.proof.stepOf
problems.proof.analysis
La condition en est automatiquement satisfaite puisque . La condition en exige — c'est la vraie contrainte ; tous les (toutes les longueurs d'onde) ne la satisfont pas.
problems.proof.pitfall. Beaucoup oublient de vérifier la première condition () et pensent que les deux sont « difficiles », alors qu'une seule contrainte doit réellement être résolue.