F⊢c⩭9&dhæŸ Ÿx&x&NotRightTriangleBa