[jeanlucas]

Oh no

[app13]

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