Proof fermat weber n=3