thus card (((AddTo GBP ,1,(intpos 3),0 ) ';' (AddTo GBP ,2,1)) ';' (AddTo GBP ,3,1)) = (card ((AddTo GBP ,1,(intpos 3),0 ) ';' (AddTo GBP ,2,1))) + 1 by SCMP_GCD:8
.= 2 + 1 by SCMP_GCD:9
.= 3 ; :: thesis: verum