4+7iのノルム