theorem Th455: :: NUMBER11:455

Sum (digits (1260,10)) = 9