[math-fun] A Property of 17