لازمه تبیین (1)