The above problem is that the range of a becomes a necessary and sufficient condition of M∩P (that is,