Greydon Square the cpt theorem