Description: 3 + 3 = 6. (Contributed by NM, 11-May-2004)
Ref | Expression | ||
---|---|---|---|
Assertion | 3p3e6 |
Step | Hyp | Ref | Expression |
---|---|---|---|
1 | df-3 | ||
2 | 1 | oveq2i | |
3 | 3cn | ||
4 | 2cn | ||
5 | ax-1cn | ||
6 | 3 4 5 | addassi | |
7 | 2 6 | eqtr4i | |
8 | df-6 | ||
9 | 3p2e5 | ||
10 | 9 | oveq1i | |
11 | 8 10 | eqtr4i | |
12 | 7 11 | eqtr4i |