  Under the 3x+1 problem, classified the number into four kind by mod 4.
  The four kind number can form a cycle base on 3x+b1 problem. Base on this
cycle, if the number of kind number is zero the 3x+1 will be proofed.
