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

Result R4198 on D995: Integer
Subresult of R4197: Finite product of basic integers is a basic integer

Binary product of basic integers is a basic integer

Also known as

Basic integers are closed under binary products