Theorem 2t4e8

Description: 2 times 4 equals 8. (Contributed by Umit Teoman Dogan, 10-Jun-2026)

	Ref	Expression
Assertion	2t4e8	$$⊢2\cdot 4=8$$

Proof

Step	Hyp	Ref	Expression
1		4cn	$$⊢4\in ℂ$$
2		2cn	$$⊢2\in ℂ$$
3		4t2e8	$$⊢4\cdot 2=8$$
4	1 2 3	mulcomli	$$⊢2\cdot 4=8$$