A simple eigenfunction expansion