theorem Th1272: :: NUMBER11:1272

Sum (digits (3575,10)) = 20