Ну, давайте самое простое:

Если ∠4 = ∠8 (как накрест лежащие), то a║b.

Это должно быть дано в условии (что углы равны), инче недостаточно данных.