Prove Language Definition