theorem Th958: :: NUMBER11:958

Sum (digits (552,10)) = 12