Derivation pushed a step further. Added new finite-dimention only
theorems.