B가 V의 기저이고 b가 바이너리오퍼레이션일때
다음은 동치
1 b의 B에대한 행렬표현을 j라할때 j가 아이겐벨류를 양수만 가짐
2 임의의 V의원소 v에대해 b(v.v)는 양수

걍 접근을 못하겠삼.....
스펙트럴정리써보려했는데 b에대한 행렬표현이라 못쓸거같삼