Alone
Qed