The nonsubstitution and nonswitching theorems in a model with fixed capital