theorem Th557: :: NUMBER11:557

Sum (digits (2280,10)) = 12