9题,求证:OE=OF