Overlap repulsion with Löwdin's pairing theorem*