An Ideal Transformer Has Efficiency