starrの証明はを使用している。