Chŏng, Yŏng-ch'ŏl (Law professor)