두 행렬이 곱셈 속성을 가진다기 위한 필요충분 조건 | Synapse