ThmDex – An index of mathematical definitions, results, and conjectures.

Result R4199 on D7: Odd integer
Subresult of R4: Finite product of odd basic integers is odd

Binary product of odd basic integers is odd