theorem :: XREAL_1:110

for a, b, c, d being Real st b < 0 & d < 0 & a * b < c / d holds
a * d < c / b