Determinant/Recursively/Alternating/Swap property/Fact