title: Reduction from ATM to ATM-co
body: <p>Is there a reduction from ATM to ATM-complement?</p>
  
  <p>I have been thinking about it too much and couldn't find the answer.</p>
  
  <p>I know that reduction from ATM-complement to ATM is not possible becouse if it was, ATM would not be in RE. But how can I proove/profe the other way around?</p>
  
  <p>Thank you very much :)</p>