한번쯤은 해봐야하는거임?

element pushing 안하고 스네이크 렘마 증명하기 이런거

너무 고통스러운데 그냥 freyd-mitchell 믿고 넘어가면 안되나