theorem Th793: :: NUMBER11:793

Sum (digits (858,10)) = 21