theorem Th381: :: NUMBER11:381

Sum (digits (500,10)) = 5