Write the Follow SQL query for the following question:

FACT Description and ERD CHECKOUT The CIS Department at Tiny College maintains the Free Access to Current Technology (FACT) library of eBooks. FACT is a collection of current technology eBooks for use by faculty FK1 Book Num and students. Agreements with the publishers FK2 Pat_ID allow patrons to electronically check out a book, which gives them exclusive access to the book online through the FACT website, but only one patron at a time can have access to a book. A book must have at least one author but can have many. An author must have written at least one book to be included in the system, but may have written many. A book may have never been checked out, but can be checked out many times by the same patron or different patrons over time. Because all faculty and staff in the department are given accounts at the online library, a patron may have never checked out a book or they may have checked out many books over time. To simplify determining which patron currently has a given book checked out, a redundant relationship between BOOK and PATRON is maintained PATRON PK Pat ID Check Out Date Check Due_Date Check_ In_Date Pat FName Pat LName Pat Type BOOK AUTHOR PK Book Num PK Au ID Book Title Book Year Book _Cost Book_Subject Au FName Au LName Au_BirthYear FK1 Pat ID WRITES PK,FK1 Book Num PK,FK2 Au ID FACT Description and ERD CHECKOUT The CIS Department at Tiny College maintains the Free Access to Current Technology (FACT) library of eBooks. FACT is a collection of current technology eBooks for use by faculty FK1 Book Num and students. Agreements with the publishers FK2 Pat_ID allow patrons to electronically check out a book, which gives them exclusive access to the book online through the FACT website, but only one patron at a time can have access to a book. A book must have at least one author but can have many. An author must have written at least one book to be included in the system, but may have written many. A book may have never been checked out, but can be checked out many times by the same patron or different patrons over time. Because all faculty and staff in the department are given accounts at the online library, a patron may have never checked out a book or they may have checked out many books over time. To simplify determining which patron currently has a given book checked out, a redundant relationship between BOOK and PATRON is maintained PATRON PK Pat ID Check Out Date Check Due_Date Check_ In_Date Pat FName Pat LName Pat Type BOOK AUTHOR PK Book Num PK Au ID Book Title Book Year Book _Cost Book_Subject Au FName Au LName Au_BirthYear FK1 Pat ID WRITES PK,FK1 Book Num PK,FK2 Au ID