https://www.reasonablefaith.org/writings/question-answer/new-work-on-the-bgv-theorem