theorem Th805: :: NUMBER11:805

Sum (digits (1012,10)) = 4