I think it's simple enough to not need proof but if you want to it's not hard.
Take a list of odd numbers multiplied: . If this were even then that product would divide by 2 with no remainder. Since no individual odd can be divided by 2, no O_i in the list will divide by it and no O_i can be a multiple of 2, by definition of odd.