Vitalsource Technologies, Inc. Theorems And Problems In Functional Analy.