I don’t have an example to hand. I just have a feeling that there might be some case where the shortest proof of (P and P’) is a component of the shortest proof of P, rather than the other way around.
I don’t have an example to hand. I just have a feeling that there might be some case where the shortest proof of (P and P’) is a component of the shortest proof of P, rather than the other way around.