Now AO is transformed to aO′, so AO = aO′.
כעת AO מועתקת ל-′aO, כך ש-′AO = aO.