Arithmetic In Quaternion Algebras And Quaternionic Modular Forms