はい。その仮定が正しいかを検証しているからその仮定の元で仮定が真であることが示されるみたいな？