1.  skkk = kk(kk)  (axs)
2.  kk(kk) = k     (axk)
3.  skkk = k       (trans)(1,2)


Ci possono essere infinite derivazioni per lo stesso teorema,
basta aggiungere per esempio l'assioma  kss=s all'inizio 
per avere una derivazione differente.