quotient by first relation OBMG1'