theorem :: XPRIMES2:7732

canceled;