2. E:
n
nProp3. EquivRel i,j:
n. i E j4. x: i,j:
n//(i E j)5.
x = n-1 
i,j:n//(i E j)
x i,j:(n-1)//(i E j)2. E:
nnProp3. EquivRel i,j:
n. i E j4. x: i,j:
n//(i E j) n-1 i,j:n//(i E j) 
n:{1...}, E:(nnProp).
(EquivRel i,j:n. i E j) 
(x:i,j:n//(i E j). x = n-1 i,j:n//(i E j) x i,j:(n-1)//(i E j))| 1 | 1. n: {1...} 2. E: nnProp3. EquivRel i,j: n. i E j4. x: i,j: n//(i E j)5. x = n-1 i,j:n//(i E j) x i,j:(n-1)//(i E j) |
| 2 | 1. n: {1...} 2. E: nnProp3. EquivRel i,j: n. i E j4. x: i,j: n//(i E j) n-1 i,j:n//(i E j) |
About:
 |  |  |  |  |
 |  |  |  |