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