Theorem by Douglas Arone