theorem :: QUATERN3:48

1q " = 1q