theorem Th423: :: NUMBER11:423

Sum (digits (940,10)) = 13