Fix proof of scalar multiples and constant additions of rv's being rv's. Prove X >= x and X < x are events if X is a random var