theorem Th966: :: NUMBER11:966

Sum (digits (644,10)) = 14