theorem Th1102: :: NUMBER11:1102

Sum (digits (675,10)) = 18