SZS status Theorem for i/f/normalForms/UNIV__POINT0
