theorem Th467: :: NUMBER11:467

Sum (digits (1380,10)) = 12