グレブナ一基底絡みでネタになりそうだと思ったが。
北朝鮮の数学レべルってホモロジー代数やスキーム論辺りには達しているのだろうか