Theorem sq6

Description: The square of 6 is 36. (Contributed by SN, 26-Aug-2025)

	Ref	Expression
Assertion	sq6	$$⊢6^2=36$$

Proof

Step	Hyp	Ref	Expression
1		6cn	$$⊢6\in ℂ$$
2	1	sqvali	$$⊢6^2=6\cdot 6$$
3		6t6e36	$$⊢6\cdot 6=36$$
4	2 3	eqtri	$$⊢6^2=36$$