La primera projección (formula_30) se define como sigue: