I. Proof of local stars