Details of the non-unitarity proof for highest weight representations of the Virasoro algebra