theorem :: XPRIMES2:7072

canceled;