证明角规测树的多重同心园原理。