theorem Th996: :: NUMBER11:996

Sum (digits (1058,10)) = 14