User:Mathemajor/Casselman's subrepresentation theorem