[math-fun] D120 claim