Men om man antager detta såsom bevisadt,