It suffices to show that (A') and (B') are equivalent.
Özellikle A (katı) ve B (parlayabilen sıvılar) için idealdir.