Faithful Module Criterion for Integrality