theorem Th387: :: NUMBER11:387

Sum (digits (560,10)) = 11