theorem Th1320: :: NUMBER11:1320

Sum (digits (4275,10)) = 18