added chinese reminder theorem
added bit