theorem Th1063: :: NUMBER11:1063

Sum (digits (696,10)) = 21