Show the Proof

import proveit
# Automation is not needed when only showing a stored proof:
proveit.defaults.automation = False # This will speed things up.
proveit.defaults.inline_pngs = False # Makes files smaller.
%show_proof

	step type	requirements	statement
0	deduction	1	⊢
1	instantiation	2, 3	,  ⊢
	:
2	axiom		⊢
	proveit.logic.booleans.eq_true_elim
3	modus ponens	4, 5	,  ⊢
4	instantiation	6, 7, 8	⊢
	: , : , : , :
5	instantiation	9, 10, 11	⊢
	: , :
6	theorem		⊢
	proveit.logic.booleans.quantification.existence.skolem_elim_lemma
7	assumption		⊢
8	instantiation	12	⊢
	: , :
9	theorem		⊢
	proveit.logic.booleans.conjunction.and_if_both
10	instantiation	13, 23	⊢
	: , :
11	generalization	14	⊢
12	axiom		⊢
	proveit.logic.equality.equality_in_bool
13	theorem		⊢
	proveit.logic.booleans.conjunction.left_from_and
14	deduction	15	,  ⊢
15	instantiation	16, 17	, ,  ⊢
	:
16	axiom		⊢
	proveit.logic.booleans.eq_true_intro
17	modus ponens	18, 19	, ,  ⊢
18	instantiation	20, 21	,  ⊢
	:
19	assumption		⊢
20	instantiation	22, 23	⊢
	: , :
21	assumption		⊢
22	theorem		⊢
	proveit.logic.booleans.conjunction.right_from_and
23	assumption		⊢