:: deftheorem defines 0q QUATERNI:def 16 :
0q = 0 ;