theorem Th163: :: NUMBER11:163

Sum (digits (252,10)) = 9