theorem :: XPRIMES2:7180

canceled;