>>979
前者が真だとして後者も真だとはならないよね?