theorem Th377: :: NUMBER11:377

Sum (digits (460,10)) = 10