\begin{picture}(0,0)%
\includegraphics{proof-quotient-mfd.eps}%
\end{picture}%
%
%  Created by WinFIG version 5.04 
%  METADATA <version>1.0</version> 
%
\setlength{\unitlength}{987sp}%
%
\begingroup\makeatletter\ifx\SetFigFont\undefined%
\gdef\SetFigFont#1#2#3#4#5{%
  \reset@font\fontsize{#1}{#2pt}%
  \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
  \selectfont}%
\fi\endgroup%
\begin{picture}(22655,8168)(1861,-9160)
%  METADATA <id>20</id> 
\put(11701,-2281){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{1,0,0}$g\cdot U$}%
}}}}
%  METADATA <id>18</id> 
\put(14656,-4471){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$\Phi\colon U\to W$}%
}}}}
%  METADATA <id>17</id> 
\put(11536,-5656){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{1,0,0}$U$}%
}}}}
%  METADATA <id>14</id> 
\put(1876,-7726){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$M/G$}%
}}}}
%  METADATA <id>19</id> 
\put(12301,-8071){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{1,0,0}$p(U)$}%
}}}}
%  METADATA <id>21</id> 
\put(6511,-8926){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,.56,0}$y$}%
}}}}
%  METADATA <id>16</id> 
\put(22171,-3526){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{1,0,1}$W\subset \R^n$}%
}}}}
%  METADATA <id>15</id> 
\put(2191,-3076){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$M$}%
}}}}
%  METADATA <id>13</id> 
\put(8221,-6196){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$p$}%
}}}}
%  METADATA <id>22</id> 
\put(6076,-5971){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,.56,0}$x$}%
}}}}
\end{picture}%
