Mathematical Foundation of Financial Engineering I