theorem Th11: :: QUATERN2:11

0q = [*0,0,0,0*]