Verified answer

Есть факт: если две прямые перпендикулярны третьей, то они параллельны.

=> a параллельна b

d не параллельна a => не параллельна b (Транзитивность параллельности)

=> d пересекает b