theorem Th62: :: NUMBER11:62

Sum (digits (44,10)) = 8