for AS being Oriented_Orthogonality_Space st AS is left_transitive holds
AS is bach_transitive