theorem Th11: :: QUATERN2:11
0q = [*0,0,0,0*]