 Schauder theorem for compact operators

A bounded operator $T:X\to Y$ between Banach spaces is compact if and only if its dual map of bounded linear operator $T^{\ast }:Y^{\ast }\to X^{\ast }$ is compact.