Esta operación puede escribirse: