Step (i): The proof of the following propositionThis proposition was independently shown in [1]}, where it is considered as a GTT for GPTs. is inspired by the
method used for the quantum case given in [2]}.
