theorem Th956: :: NUMBER11:956

Sum (digits (529,10)) = 16