求证:1AB 1CD=1EF