det lätt kunna påvisas att P.