On a theorem by Treves