Spinoza’s Ethics Part IV, Prop LV