Query User
proof of cevas theorem entered by user 3103338
proof of cevas theorem entered by user ditto