theorem Th677: :: NUMBER11:677

Sum (digits (3480,10)) = 15