theorem Th1218: :: NUMBER11:1218

Sum (digits (2675,10)) = 20