Orbit-stabiliser theorem