:: deftheorem defines 1q QUATERNI:def 17 :
1q = 1;