            ∈            ℤ                          ⁢                                                                              (                                      k                    -                                          0                      0                                        -                                          T                      ⁡                                              (                        