theorem Th110: :: NUMBER11:110

Sum (digits (65,10)) = 11