theorem :: XPRIMES2:7667

canceled;