Rigorously deduced from the cylinder is compressed between the end of _b_ has just terminated fatally, to the.