しかし弱形式においては、この方程式は "v" の他のすべての可能な元について「テスト」されたときに成立することのみが求められる。