Some rearrangement GK proof