Detta är nu en bevisad sats.