theorem Th93: :: NUMBER11:93

Sum (digits (12,10)) = 3