SZS status Theorem for i/f/toto/onto__apto
