This is essentially a group theoretical result about permutation groups. Would be nice to see a treatment from this angle.