如果：|羡慕> ， |嫉妒> ， |恨> 是 |后悔>的正交本征态矢。
即 |后悔> = C1 |羡慕> + C2 |嫉妒> + C3|恨>
那么证明快乐 和 嫉妒 不相关：
   显然有： 快乐 和 后悔 不相关， 所以 <快乐|后悔> = 0；
  
   又因为 |羡慕> ， |嫉妒> ， |恨>   是   |后悔>的正交本征态矢，所以对|后悔>做 |嫉妒>的投影：   
    0 =    <快乐|后悔> =   <快乐|后悔> <嫉妒|嫉妒> = <嫉妒|后悔>   <快乐|嫉妒> = C2 * <快乐|嫉妒>
  
    所以 <快乐|嫉妒> = 0
    就是 快乐 和 嫉妒 不相关.....