Finite Field has Non-Zero Characteristic