Es suficiente. Lo que probaste es el contrarrecíproco: en lugar de probar 
probaste que 
; es decir, que si 
, entonces no existe ninguna función sobreyectiva 
, lo que implica el punto (b).
probaste que ; es decir, que si , entonces no existe ninguna función sobreyectiva , lo que implica el punto (b).