Carnot's_theorem_(perpendiculars) loading ...