ミラー対称性っていうのは、数学的に証明された現象なの?