take [{},{},{},{},{}] ; :: thesis: ( [{},{},{},{},{}] is set & [{},{},{},{},{}] is quintuple )
thus ( [{},{},{},{},{}] is set & [{},{},{},{},{}] is quintuple ) ; :: thesis: verum