theorem Th1260: :: NUMBER11:1260

Sum (digits (3375,10)) = 18