bioches theorem