theorem Th134: :: NUMBER11:134

Sum (digits (247,10)) = 13