finite field상의 primitive root of unity로 가우스썸 하니까 존나 쉽게 증명 되는구나