theorem Th795: :: NUMBER11:795

Sum (digits (902,10)) = 11