(r € oTZ\. 
