https://www.ifmat.org/06/16/choe-chol-min/