On finiteness theorems for automorphic forms