In crossover design experiments, the proportional model, where the carryover effects are proportional to their direct treatment effects, has draw attentions in recent years. We discover that the universally optimal design under the traditional model is E-optimal design under the proportional model. Moreover, we establish equivalence theorems of Kiefer.Wolfowitz's type for four popular optimality criteria, namely A, D, E and T (trace).