I added FBC to the list of violated criteria. No one has yet taken an issue with my proof at [1]. -KVenzke