「共通の解をもつものとする。」という仮定は不要です。