Det hade teoretiskt bevisats och genommånga