[math-fun] 4-5-6