Necessary and sufficient condition