This is a note written as proof only