已知式子AX BY,