Subject Reduction for Simply Typed Lambda Calculus with Products and Sums