On Zemanian's distributional eigenfunction transforms