すなわち、ふたつの双複素数の積に対する二次形式は、個々の双複素数に対する二次形式同士の積に等しい:。