the words like cheorem are written in korean