for S being Language holds AllTermsOf S is S -prefix ;