theorem Th58: :: NUMBER11:58

Sum (digits (22,10)) = 4