theorem Th66: :: NUMBER11:66

Sum (digits (66,10)) = 12