Theorems on Deducibility