Can you prove that the following rules are derived rules?
a) cutR((Γ⊢Q,Δ,Γ⊢Q→P,Δ)/(Γ⊢P,Δ))
b) cutL((Γ,Q⊢Δ,Γ⊢P→Q,Δ)/(Γ,P|)
c) cutR((Γ⊢Q,Δ,Γ⊢Q→P,Δ)/(Γ⊢P,Δ))
d) cutL((Γ,Q⊢Δ,Γ⊢P→Q,Δ)/(Γ,P|))