Different perceptions of invariants and generality of proof in dynamic geometry