Vi antaga , att P .hädanefter