theorem Th691: :: NUMBER11:691
Sum (digits (3620,10)) = 11