Yi förmoda att såsom ettkorollarium