이는 SFM 으로 증명 가능하다