SZS status Theorem for i/f/canonical/datatype__spolynom
