[math-fun] parametrizing the Koch snowflake curve