theorem Th1154: :: NUMBER11:1154

Sum (digits (1575,10)) = 18