 Fixed-force comparison of minimum viscous dissipation

The Minimum-dissipation theorem for Stokes flow compares fields with fixed boundary velocities. Introducing a freely moving rigid inclusion can reduce velocity and total power at fixed applied force while increasing the resistance at fixed velocity. Extending the inclusion's rigid velocity through its interior adds zero viscous dissipation and gives a trial field in the domain without that inclusion, proving the fixed-velocity comparison.