Dessa fakta äro ju glädjande i flere hänseenden.