構成可能性公理v＝lの仮定の下ではススリン線は存在する。