show that EF || QR.