廣義 KYP 引理