[app13]

Fear not, there is a handy proof we can use here...