Pemisahan hipotetis dari \(f(X)\) akan menghasilkan pemisahan dari \(X\) melalui prapeta, bertentangan dengan keterhubungan \(X\text{.}\)