theorem Th326: :: NUMBER11:326

Sum (digits (570,10)) = 12