| 
		
			Сообщение от Livaanderiamarum
			
		
	 | 
	| 
		одиинаковые множители сокращаются
	 | 
	
Кто сказал? Докажите.
В кольце
a*b = a*c
a*b = a*c
a*b - a*c = a*c - a*c
a*(b - c) = 0
Очевидно, что в случае если a равно нулю, b вовсе не обязано быть равно c.
Более того, также необходимо, чтобы наше кольцо являлось областью целостности.