n5. x2:
n6. x1 E x2
7.
x1 = n-1 
i,j:n//(i E j)8. EquivRel x,y:
(n-1). x E y
x1 = x2 i,j:(n-1)//(i E j)n
nPropn. i E jn//(i E j)x = n-1 i,j:n//(i E j)(n-1). x E y x i,j:(n-1)//(i E j)| 1 | 4. x1: n 5. x2: n6. x1 E x2 7. x1 = n-1 i,j:n//(i E j)8. EquivRel x,y: (n-1). x E y x1 = x2 i,j:(n-1)//(i E j) |
About:
 |  |  |  |  |  |  |