実際、無理矢理の証明って密室なのにどうやってするん?