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