Fundamental Domain Theorem for the Modular Group