Description: 9 times 4 equals 36. (Contributed by Mario Carneiro, 19-Apr-2015)
Ref | Expression | ||
---|---|---|---|
Assertion | 9t4e36 | |
Step | Hyp | Ref | Expression |
---|---|---|---|
1 | 9nn0 | |
|
2 | 3nn0 | |
|
3 | df-4 | |
|
4 | 9t3e27 | |
|
5 | 2nn0 | |
|
6 | 7nn0 | |
|
7 | eqid | |
|
8 | 2p1e3 | |
|
9 | 6nn0 | |
|
10 | 1 | nn0cni | |
11 | 6 | nn0cni | |
12 | 9p7e16 | |
|
13 | 10 11 12 | addcomli | |
14 | 5 6 1 7 8 9 13 | decaddci | |
15 | 1 2 3 4 14 | 4t3lem | |