Дан куб \(ABCDA_1B_1C_1D_1\).
Докажи, что \(A_{1}C\)\(\perp\) \(B_1D_1\).
В качестве ответа приложи файл с доказательством.