Inner-product preservation between programs for and gives
for all . If , this identity forces every matrix element of to be the same scalar multiple of the corresponding identity matrix element. Hence , contrary to physical distinctness. Therefore