theorem Th27: :: NUMBER11:27

Sum (digits (60,10)) = 6