theorem Th393: :: NUMBER11:393

Sum (digits (620,10)) = 8