Race classification results are simply a matter of official record from that specific Grand Prix. Jenson Button's finishing position of 7th in this race is what the official timing sheet shows. There's no general rule to derive this from — it's a fact about that particular race result.