バロとインモービレの予想なんですよね。上手くハマってくれると良いんですけどね。