theorem Th322: :: NUMBER11:322

Sum (digits (532,10)) = 10