theorem :: SCPINVAR:18

card GCD-Algorithm = 12