theorem Th294: :: NUMBER11:294

Sum (digits (152,10)) = 8