trivializáramos