theorem Th367: :: NUMBER11:367

Sum (digits (280,10)) = 10