サタンって様々な魔王の総称であって、固有名詞じゃないんだっけ？
よー分からん。