Define la homología que transforma el cuadrílatero ABCD en un cuadrado, conociendo un punto doble P-P'.