theorem :: EUCLID_7:12

<*1*> is Permutation of {1}