Restore files that have been deleted in Drive

Today I had a question from a teacher about how to restore files that have been deleted. Believe it or not a tyrant middle schooler thought it would be funny to delete his friends documents. Fortunately if it was just deleted the files can be restored by clicking on "Trash" and then finding the file and pressing "restore".