theorem Th485: :: NUMBER11:485

Sum (digits (1560,10)) = 12