problems.proof.stepOf
problems.proof.analysis
での条件は なので自動的に満たされます。 での条件は を要求します。これが本当の制約であり、すべての (すべての波長)がこれを満たすわけではありません。
problems.proof.pitfall. 最初の条件()の確認を忘れて、両方とも「難しい」と思い込む人が多いですが、実際に解く必要のある制約は1つだけです。
での条件は なので自動的に満たされます。 での条件は を要求します。これが本当の制約であり、すべての (すべての波長)がこれを満たすわけではありません。