theorem :: XPRIMES2:1780

canceled;