theorem Th881: :: NUMBER11:881

Sum (digits (1936,10)) = 19