The linear congruence equations are the ancient and significant research contents. Most discussions of the linear congruence equations focus on the special cases, for example, there is a linear congruent theorem for solving the congruent linear equation in one unknown and the Chinese remainder theorem for solving the simultaneous congruent linear equations in one unknown, which are involved to find a special solution using the properties of the integer number, and some papers discuss the equation in unknowns. But all the results are not convenient and efficient to solve the equations and not adapt to solving the general system of congruent linear equations in n unknowns. There is no uniform, convenient and efficient technique and theory for the general system of congruent linear equations, like the theory of linear equations over real numbers. The inspiration arose from the elimination of variables when solving the linear equations over real numbers, Generalized the elementary transformations of matrix over real numbers to the integer numbers modulo m, the paper discussed the properties of the modular matrix under the elementary transformations and a similar equivalent transforming theorem for matrix modulom theorem was obtained that any matrix modulo m can be transformed into a canonical diagonal form by means of a finite number of elementary row and column operations. furthermore, by means of the equivalent transforming theorem, the solution criterion theorem and structure theorem were proposed for the general congruent linear equations based on the modular matrix transformations, which extended the theories of the congruent linear equations, and finally, the detailed steps of the uniform method were given for solving the general system of congruent linear equations based on the elementary transformations of matrix modulo m, it can be easily written out the solutions of the system immediately as determining solutions of the system conveniently by elementary matrix transformations. Analysis and discussions indicate that the results are most valuable in science and the proposed technique for solving the system is convenient, efficient and adaptable.

In this paper we extend and deepen a shortlist for the 37th International Mathematical Olympiad (IMO) and propose the Frog Leap Commute Theorem and the Queue Polynomial. We explore the problem from the following aspects: (1) Make use of semi-invariants and propose the Frog Leap Commute Theorem. (2) Make extensions regarding frogs leaping to opposite directions on a straight line. (3) Research frogs leaping to the same direction on a straight line and solve the minimum number of frogs satisfying an infinite leap. (4) Extend the problem to leaps on a plane or in space. (5) Research and extend problems regarding frogs leaping on a circle. (6) Estimate the function c(n) and calculate the order of the function.

The problem of the existence of infinitely many prime values of a number-theoretic function f (x) has been one of the most important topics in Number Theory. Note that if f (x) represents infinitely many primes, then we can get this necessary condition: for any positive integer h , there exists a positive integer k such that ( f (k), h) =1and f (k) >1. Naturally, we are interested in the number-theoretic functions f (x) that satisfy the aforementioned necessary condition. Thus, there must exist the least positive integer n such that (f(n),h)-1andf(k)>1. Denote this least positive integer n byF_f(h). In this paper, we mainly focus on three famous number-theoretic functions:&f(x)=2^{2^x}+1,m(x)=2^x-1 and l(x)=x^2+1& proving they satisfy the aforementioned necessary condition respectively. Furthermore, we approximately estimate the upper bound of F_f(x)(h),Fm(x)(h)，Fl(x)(h) respectively, and obtain some interesting results.