theorem Th8: :: SCMP_GCD:8

card GCD-Algorithm = 15