theorem Th761: :: NUMBER11:761

Sum (digits (462,10)) = 12