theorem Th8: :: SCMP_GCD:8
card GCD-Algorithm = 15