Rules for binary addition, multiplication, subtraction and division. Time complexity of extended Euclidean algorithm. Existence of multiplicative inverse. Cancellation law of congruence. Introduction to finite field theory. Corollary of Euler’s theorem.