I have the following equation

```
Exp[a-t]*DiracDelta[t-a] == DiracDelta[t-a]
```

which cannot be evaluated. However, if I plug in 0 for a:

```
In[1] = Exp[t]*DiracDelta[t] == DiracDelta[t]
Out[1] = True
```

This does not seem to work with values other than 0.

Of course, the equality with delta functions may be mathematically tricky, but in this case `Exp[a-t] == 1`

for `a == t`

, thus the first expression should yield `True`

(in my opinion…). How can I get to this value?