Den förmodan ligger därförenära