Do diagnozowania drożności jajowodów służy: