theorem :: SCMP_GCD:3

GBP <> SBP by AMI_3:10;