Redirecting to Principle of distributivity