theorem Th306: :: NUMBER11:306

Sum (digits (380,10)) = 11