저걸 쓰는 문제가 나온다 치면 저런 성질이 성립한다는걸 보이고 서술해야됨? 만약 그렇다면 밑에처럼 써두면 충분히 증명된걸까