theorem :: XPRIMES2:7067

canceled;