proof01 in cut-the-knot