The S-shaped theorem describes the shape of the reliability function under quite general structural conditions. A proof of a multivariate version of the theorem based on a new condition is provided. As opposed to the standard proof the present does not use association.