Vitalsource Technologies, Inc. Elementary Fixed Point Theorems