this thing as an example of itself

QED