theorem Th389: :: NUMBER11:389

Sum (digits (580,10)) = 13