 (Property) For every open sentence \(\phi\) with one free variable, and every term \(t\), the sentences \(t \ \epsilon \ [x: \phi x]\) and \(\phi t\) are intersubstitutable according to \(\mathcal{T_P}\).