está dado por