Prove order of substitution for magic square according to tales