Bond Pricing Theorems