theorem :: XPRIMES2:2881

canceled;