theorem Th35: :: QUATERN2:35

0. G_Quaternion = 0q by Def9;