theorem Th262: :: NUMBER11:262

Sum (digits (442,10)) = 10