Gallery Proposition 画廊定理