Re: [math-fun] D120 claim