theorem Th833: :: NUMBER11:833

Sum (digits (1364,10)) = 14