Πεψενθε 

`⊥`(AC, BC) implies `⊥`(PC, BC)