theorem Th1067: :: NUMBER11:1067

Sum (digits (768,10)) = 21