theorem Th284: :: NUMBER11:284

Sum (digits (57,10)) = 12