i know even i used to hate formal proofs!!!i assumed this might have a formal proof by not knowing that this property is based on informal reasoning. (but i personally like formal proofs!!!!!)