Tahap 1: dari \(a\in A\cap O_X\text{,}\) simpulkan dua fakta keanggotaan. Tahap 2: hanya fakta \(a\in O_X\) dan keterbukaan \(O_X\) di \(X\) yang diperlukan untuk memperoleh bola ambien.