Deletion-contraction formula