>>873
A∩f^(-1)(O´)=A∩f^(-1)(O)も示めせばOK