Fixed Point Theorems with Applns