A proof of bistability for the dual futile cycle. (August 2015)