theorem Th827: :: NUMBER11:827

Sum (digits (1276,10)) = 16