Theorem

Let

  • : Random sample with
  • : order statistics of

Then the joint pdf of is