characteristic이 p가 아닌 field F에 대해서 

F에서 F로 가는 x -> px 이 함수가 bijection임을 보이고 싶어.
injection은 쉽게 보여지는데 surjection은 어떻게 보여야 할까 ㅜ