matematicamente salvo