Question: What did Joseph Lister prove?
Sentence: However, Semmelweis' findings were not appreciated by his contemporaries and came into use only with discoveries by British surgeon Joseph Lister, who in 1865 proved the principles of antisepsis.
Answer in sentence: yes