theorem Th159: :: NUMBER11:159

Sum (digits (224,10)) = 8