creation date: Wed Dec 2 18:04:17 MET 1998
26#1
A^13=id B^2=id (A^12)
26#2
A^13=id B^2=id (A)
last updated: Wed Dec 2 18:04:23 MET 1998 ,
Anton Betten
