2. f :
k onto
k
3. f
k
k
4. Surj(
k; k; f)
5. X :
k
6. a :
k
7. f(X) = f(a)
8.
X = a
9.
({x:k| x = X } onto k)
10.
((k-1) onto k)
False
k onto k
kk
k; k; f)
k
k
X = a
({x:k| x = X } onto k)
((k-1) onto k)
False| By: |
(a onto b))   b a on [ Hyp:-1 ] |
None
About:
 |  |  |  |  |  |  |  |  |  |