theorem :: QUATERNI:47

1q *' = 1q