Description: A power class is never empty. (Contributed by NM, 3-Sep-2018)
|- ~P A =/= (/)
|- (/) e. ~P A